Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
941	Cellular Automata with an Infinite Number of Subshift Attractors ˚ Petr Kurka Center for Theoretical Study, Academy of Sciences and Charles University, Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:37:04 Shift space Cellular automaton Limit set Automata theory Mathematical analysis Subshift of finite type Combinatorics on words Mathematics Attractor
942	Erasable coercions: a unified approach to type systems Julien Cretin January 30, 2014 Add to Reading List Source URL: phd.ia0.fr Language: English - Date: 2014-01-30 14:31:16 Type theory Functional languages Cross-platform software Programming language implementation OCaml Computing platforms Type system Programming language Bytecode Computing Software engineering Software
943	Sage: Hybrid Checking for Flexible Specifications Jessica Gronski† Kenneth Knowles† † Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:18 Type theory Data types Functional languages Object-oriented programming Procedural programming languages Type system Type safety Subtype polymorphism Polymorphism Software engineering Computing Programming language theory
944	Catch me if you can Towards type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml David Teller Arnaud Spiwack Add to Reading List Source URL: www.univ-orleans.fr Language: English - Date: 2008-06-26 18:25:04 Type theory Functional programming Data types Control flow Functional languages Eval Monad Type system Generalized algebraic data type Software engineering Computing Declarative programming
945	IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, VOL. 23, NO. 12, Add to Reading List Source URL: dbgroup.cs.tsinghua.edu.cn Language: English - Date: 2012-09-26 07:49:56 Data modeling Type theory Data Mathematical notation Tuple Relational database Relation Column SQL Data management Computing Relational model
946	Inferred Interface Glue: Supporting Language Interoperability with Static Analysis by Tristan Ravitch Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2013-09-07 16:19:46 Data types Subroutines Type theory Procedural programming languages Pointer Type system Parameter GNU Linear Programming Kit Finalizer Software engineering Computing Computer programming
947	Faster Construction of Planar Two-centers David Eppstein∗ Abstract tical implementation. The method is complicated, and Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 1997-12-08 20:38:05 Analysis of algorithms Computational geometry Probabilistic complexity theory Randomized algorithm Algorithm Time complexity Binary search algorithm LP-type problem Closest pair of points problem Theoretical computer science Applied mathematics Mathematics
948	Java Generics Frequently Asked Questions written and maintained by Angelika Langer Add to Reading List Source URL: www.angelikalanger.com Language: English - Date: 2015-01-17 08:22:53 Computer programming Polymorphism Type theory Cross-platform software Generics in Java Wildcard Mono project Type system C Sharp Computing Software engineering Java programming language
949	Introduction to Type Theory August 2007 Types Summer School Bertinoro, It Herman Geuvers Add to Reading List Source URL: typessummerschool07.cs.unibo.it Language: English - Date: 2007-08-20 10:27:22 Lambda calculus Type theory Logic in computer science Models of computation Curry–Howard correspondence Philosophy of computer science Simply typed lambda calculus System F Type system Theoretical computer science Computer science Mathematical logic
950	A generalization of F with abstraction over retyping functions Julien Cretin supervised by Didier Rémy Gallium, INRIA December 6, 2010 Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2010-12-06 04:29:59 Type theory Lambda calculus Data types Polymorphism Theoretical computer science Subtype polymorphism System F ALGOL 68 Type system Software engineering Mathematics Computing

UPDATE